-
1 applied predicate calculus
Математика: прикладное исчисление предикатовУниверсальный англо-русский словарь > applied predicate calculus
-
2 прикладное исчисление предикатов
Mathematics: APC (applied predicate calculus), applied predicate calculusУниверсальный русско-английский словарь > прикладное исчисление предикатов
-
3 ПИП
abbrev (прикладное исчисление предикатов), applied predicate calculus -
4 APC
1) Компьютерная техника: Application Pointer Cache, Australian Personal Computer2) Авиация: Aircraft Positive Control, (aircraft performance characteristics) ЛТХ (Лётно-технические характеристики)3) Медицина: Argon Plasma Coagulation, вентиляция по давлению, вспомогательная вентиляция по давлению, assisted pressure controlled4) Американизм: Asian Pacific Coalition6) Военный термин: Account Processing Code, Air Priority Committee, Army Pay Corps, Army Petroleum Center, Army Pictorial Center, Army Policy Council, Army postal clerk, Assistant Principal Chaplain, Aviation Performance Center, abbreviated performance characteristics, advanced procurement change, advanced procurement check, aeronautical planning chart, aimpoint correlator, airframe production contract, all-purpose capsule, ammonium perchlorate, area of positive control, armor-piercing capped, armored personnel carrier, aspirin, phenacetin, and caffeine, БТР, бронетранспортёр, БМП7) Техника: Agency project codes, Amplitude Phase Conversion, Assessed program cost, accelerometer pulse converter, acoustical phase constant, acoustical propagation constant, administration and project control, advanced personal computer, agency program coordinator, all-purpose computer, amplitude-phase conversion, analog-to-pressure converter, angular position counter, argon purge cart, auto pallet changer, automatic changer, automatic parity check, automatic pitch control, automatic power compensator8) Математика: прикладное исчисление предикатов (applied predicate calculus)9) Религия: A Perfect Circle10) Юридический термин: Angled Physical Contact, АПК, Арбитражный процессуальный кодекс, профессиональная корпорация (A Professional Corporation (http://www.acronymfinder.com/A-Professional-Corporation-%28APC%29.html))11) Экономика: компания "American Power Conversion"12) Бухгалтерия: Actual Payment Coefficient, Annual Percentage Change, annual percentage rate, Комитет по аудиторской практике в Великобритании (правопреемник Auditing Practices Board - APB)13) Автомобильный термин: automatic performance control14) Ветеринария: All Purpose Canines, Animal Procedures Committee (under the Animals Scientific Procedures Act)15) Грубое выражение: All Pieces Of Crap, All Poop Crap, All Products Crap, American Piece Of Crap, Another Piece Of Crap, Ass Packers Club16) Оптика: automatic power control17) Полиграфия: (Auto Plate Changer) автоматическая смена пластин (функция в печатных машинах)18) Политика: Area Party Conference, Agreement on Partnership and Cooperation (между Россией и Евросоюзом), Соглашение о партнёрстве и сотрудничестве (СПС) (между Россией и Евросоюзом)19) Сокращение: Adaptive Predictive Coding, Aircraft Parts Corp. (USA), All Purpose Container (rolling container to move mail trays at post office, often known as POSTCON), Approach Power Control, Armament Practice Group (UK Royal Air Force), Armour-Piercing, Capped, Armoured Personnel Carrier, Automated Processing Centres, Automatic Phase Control, aerobic plate counts, average propensity to consume20) Университет: Academic Professionals Of California, Academic Program Coordinator, Academic Progress Code21) Физиология: Activated Protein C, Adenomatous Polyposis Coli, Atrial Premature Contractions22) Электроника: Advanced Power Calibration, All Pass Crossover, Angled Polished Connector23) Вычислительная техника: automatic paper cutter, American Power Conversion (Hersteller, UPS), Association for Progressive Communications (organization, Netzwerk), фирма APC, asynchronous procedure call24) Микробиология: определение количества аэробных бактерий посевом (aerobic plate counts)25) Кардиология: atrial premature complex (преждевременный предсердный комплекс)26) Иммунология: Antigen Presenting Cells, antigen-presenting cell, антиген-представляющая клетка, антиген-презентирующая клетка, антигенпредставляющая клетка, антигенпрезентирующая клетка27) Стоматология: Autologous Platelet Concentrate28) Токсикология: ОДК, ориентировочно допустимая концентрация, ориентировочно допустимая концентрация, ориентировочно допустимое количество29) Связь: соединитель полированный под углом (Angle Polished Connector), угловой физический контакт (Angled Physical Contact), соединитель с шлифовкой под углом30) Биотехнология: allophycocyanin31) Транспорт: Air Project Coordinator, Automatic Passenger Counter32) Воздухоплавание: Approach Control, Area Position Control, Automatic Pressure Control33) Радиолокация: antenna phase center34) Фирменный знак: Allround Pest Control, American Power Conversion, American Product Company, American Products Company, Amphenol Precision Connectors, Animation Publishing Corporation36) Деловая лексика: All Parts Cut, All Potential Customers, Assessment Of Professional Competence37) Глоссарий компании Сахалин Энерджи: Arctic Pacific Contractors, Arctic Pacific Contractors (Body Shop of Fluor)38) Образование: Activating Potential For Communication, Alternatives Possibilities And Choices39) Сетевые технологии: Automatic Ping Control, American Power Conversion (Corporation)40) Автоматика: automatic pallet changer, automatic production center41) Сахалин Ю: advanced process control42) Химическое оружие: Air pollution control43) Макаров: acoustical plaster ceiling, advanced propulsion comparison study, automatic part changer, autopallet changer44) Безопасность: adaptive predictive coder, analogue pulse count, координатор действий в пункте сбора45) Расширение файла: Printer driver Characters (Lotus 1-2-3)46) Маркетология: (Agency for Protection of Competition) Агентство по защите конкуренции47) Электротехника: average power control48) Высокочастотная электроника: American Personal Communications49) Программное обеспечение: Alternate Php Cache -
5 Apc
1) Компьютерная техника: Application Pointer Cache, Australian Personal Computer2) Авиация: Aircraft Positive Control, (aircraft performance characteristics) ЛТХ (Лётно-технические характеристики)3) Медицина: Argon Plasma Coagulation, вентиляция по давлению, вспомогательная вентиляция по давлению, assisted pressure controlled4) Американизм: Asian Pacific Coalition6) Военный термин: Account Processing Code, Air Priority Committee, Army Pay Corps, Army Petroleum Center, Army Pictorial Center, Army Policy Council, Army postal clerk, Assistant Principal Chaplain, Aviation Performance Center, abbreviated performance characteristics, advanced procurement change, advanced procurement check, aeronautical planning chart, aimpoint correlator, airframe production contract, all-purpose capsule, ammonium perchlorate, area of positive control, armor-piercing capped, armored personnel carrier, aspirin, phenacetin, and caffeine, БТР, бронетранспортёр, БМП7) Техника: Agency project codes, Amplitude Phase Conversion, Assessed program cost, accelerometer pulse converter, acoustical phase constant, acoustical propagation constant, administration and project control, advanced personal computer, agency program coordinator, all-purpose computer, amplitude-phase conversion, analog-to-pressure converter, angular position counter, argon purge cart, auto pallet changer, automatic changer, automatic parity check, automatic pitch control, automatic power compensator8) Математика: прикладное исчисление предикатов (applied predicate calculus)9) Религия: A Perfect Circle10) Юридический термин: Angled Physical Contact, АПК, Арбитражный процессуальный кодекс, профессиональная корпорация (A Professional Corporation (http://www.acronymfinder.com/A-Professional-Corporation-%28APC%29.html))11) Экономика: компания "American Power Conversion"12) Бухгалтерия: Actual Payment Coefficient, Annual Percentage Change, annual percentage rate, Комитет по аудиторской практике в Великобритании (правопреемник Auditing Practices Board - APB)13) Автомобильный термин: automatic performance control14) Ветеринария: All Purpose Canines, Animal Procedures Committee (under the Animals Scientific Procedures Act)15) Грубое выражение: All Pieces Of Crap, All Poop Crap, All Products Crap, American Piece Of Crap, Another Piece Of Crap, Ass Packers Club16) Оптика: automatic power control17) Полиграфия: (Auto Plate Changer) автоматическая смена пластин (функция в печатных машинах)18) Политика: Area Party Conference, Agreement on Partnership and Cooperation (между Россией и Евросоюзом), Соглашение о партнёрстве и сотрудничестве (СПС) (между Россией и Евросоюзом)19) Сокращение: Adaptive Predictive Coding, Aircraft Parts Corp. (USA), All Purpose Container (rolling container to move mail trays at post office, often known as POSTCON), Approach Power Control, Armament Practice Group (UK Royal Air Force), Armour-Piercing, Capped, Armoured Personnel Carrier, Automated Processing Centres, Automatic Phase Control, aerobic plate counts, average propensity to consume20) Университет: Academic Professionals Of California, Academic Program Coordinator, Academic Progress Code21) Физиология: Activated Protein C, Adenomatous Polyposis Coli, Atrial Premature Contractions22) Электроника: Advanced Power Calibration, All Pass Crossover, Angled Polished Connector23) Вычислительная техника: automatic paper cutter, American Power Conversion (Hersteller, UPS), Association for Progressive Communications (organization, Netzwerk), фирма APC, asynchronous procedure call24) Микробиология: определение количества аэробных бактерий посевом (aerobic plate counts)25) Кардиология: atrial premature complex (преждевременный предсердный комплекс)26) Иммунология: Antigen Presenting Cells, antigen-presenting cell, антиген-представляющая клетка, антиген-презентирующая клетка, антигенпредставляющая клетка, антигенпрезентирующая клетка27) Стоматология: Autologous Platelet Concentrate28) Токсикология: ОДК, ориентировочно допустимая концентрация, ориентировочно допустимая концентрация, ориентировочно допустимое количество29) Связь: соединитель полированный под углом (Angle Polished Connector), угловой физический контакт (Angled Physical Contact), соединитель с шлифовкой под углом30) Биотехнология: allophycocyanin31) Транспорт: Air Project Coordinator, Automatic Passenger Counter32) Воздухоплавание: Approach Control, Area Position Control, Automatic Pressure Control33) Радиолокация: antenna phase center34) Фирменный знак: Allround Pest Control, American Power Conversion, American Product Company, American Products Company, Amphenol Precision Connectors, Animation Publishing Corporation36) Деловая лексика: All Parts Cut, All Potential Customers, Assessment Of Professional Competence37) Глоссарий компании Сахалин Энерджи: Arctic Pacific Contractors, Arctic Pacific Contractors (Body Shop of Fluor)38) Образование: Activating Potential For Communication, Alternatives Possibilities And Choices39) Сетевые технологии: Automatic Ping Control, American Power Conversion (Corporation)40) Автоматика: automatic pallet changer, automatic production center41) Сахалин Ю: advanced process control42) Химическое оружие: Air pollution control43) Макаров: acoustical plaster ceiling, advanced propulsion comparison study, automatic part changer, autopallet changer44) Безопасность: adaptive predictive coder, analogue pulse count, координатор действий в пункте сбора45) Расширение файла: Printer driver Characters (Lotus 1-2-3)46) Маркетология: (Agency for Protection of Competition) Агентство по защите конкуренции47) Электротехника: average power control48) Высокочастотная электроника: American Personal Communications49) Программное обеспечение: Alternate Php Cache -
6 ПИП
abbrev. (прикладное исчисление предикатов), applied predicate calculus -
7 ПИП
abbrev. for прикладное исчисление предикатов -
8 прикладное исчисление предикатов
abbrev. ПИПРусско-английский словарь по математике > прикладное исчисление предикатов
См. также в других словарях:
Epsilon calculus — Hilbert s epsilon calculus is an extension of a formal language by the epsilon operator, where the epsilon operator substitutes for quantifiers in that language as a method leading to a proof of consistency for the extended formal language. The… … Wikipedia
Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… … Wikipedia
Syntactic predicate — A syntactic predicate specifies the syntactic validity of applying a production in a formal grammar and is analogous to a semantic predicate that specifies the semantic validity of applying a production. It is a simple and effective means of… … Wikipedia
Sequent calculus — In proof theory and mathematical logic, sequent calculus is a family of formal systems sharing a certain style of inference and certain formal properties. The first sequent calculi, systems LK and LJ, were introduced by Gerhard Gentzen in 1934 as … Wikipedia
Database normalization — In the design of a relational database management system (RDBMS), the process of organizing data to minimize redundancy is called normalization. The goal of database normalization is to decompose relations with anomalies in order to produce… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Ockham’s world and future — Arthur Gibson PHILOSOPHICAL BIOGRAPHY Ockham was born in about 1285, certainly before 1290, probably in the village of Ockham, Surrey, near London. If his epitaph is accurate, he died on 10 April 1347. Yet Conrad of Megenberg, when writing to… … History of philosophy
